361. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
المؤلف: Tizina Margaria, Bernhard Steffen )eds.(
المکتبة: (طهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1055
362. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
المؤلف: E. Brinksma ... )et al.(, eds
المکتبة: (طهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
V0l
.
1019
363. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
المؤلف: Ed Brinksma )ed.(
المکتبة: (طهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
364. Trends in distributed systems CORBA and Beyond : International Workshop TreDS'96, Aachen, Germany, October 1-2, 1996 : proceedings
المؤلف: Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1161
365. Trends in distributed systems : towards a universal service market : Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 : proceedings
المؤلف: Claudia Linhoff-Popien, Heinz-Gerd Hegering )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1890
366. Utility computing : 15th IFIP/IEEE International Workshop on Distributed Systems : Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004 : proceedings
المؤلف: Akhil Sahai, Felix Wu )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing,Management -- Computer programs -- Congresses ، Electronic commerce,Management -- Congresses ، Utilities )Computer programs(
رده :
QA
76
.
L28
Vol
.
3278
367. Web-based information technologies and distributed systems /
المؤلف: Alban Gabillon, Quan Z. Sheng, Wathiq Mansoor
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing, Congresses,Web-based user interfaces, Congresses
رده :
QA76
.
9
.
D5
G33
2010eb
368. agent systems :-Multi
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing ; Distributed processing ; Congresses ; Distributed artificial intelligence ; Congresses ;
369. based distributed systems-Formal methods for open object
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: oriented programming (Computer science) ; Congresses. ; -Electronic data processing ; Distributed processing ; Congresses. ; Object
370. based distributed systems :-Formal methods for open object
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing ; Distributed processing ; Congresses. ;
371. oriented application development for distributed architectures-Performance
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing ; Distributed processing ; Congresses. ; Application software ; Congresses. ; Computer architecture ; Congresses. ; High performance computing ; Congresses. ;
372. oriented computing-Service
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing ; Distributed processing ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ; Semantic Web ; Congresses. ; Web services ; Congresses. ;
373. proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing
المؤلف:
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Parallel processing )Electronic computers(- Congresses,، Electronic data processing- Distributed processing- Congresses
374. 15th International Parallel and Distributed Processing Symposium: proceedings: San Francisco, California, USA, April 23-27, 2001
المؤلف: sponsored by IEEE Computer Society Technical Committee on Parallel Processing; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Processing
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Parallel processing )Electronic computers(,Distributed processing - Congresses ، Electronic data processing
رده :
QA
76
.
58
.
I583
2001
375. 8th Workshop on Parallel and Distributed Simulation )PADS'94( : proceedings of the 1994 Workshop on Parallel and Distributed Simulation, July 6-8, 1994, Edinburgh, Scotland, U.K.
المؤلف: edited by D.K. Arvind, Rajive Bagrodia, Jason Yi-Bing Lin; sponsored by Association of Computing Machinery--SIGSIM, the Society for Computer Simulation International, Institute of Electrical and Electronics Engineers, Computer Society
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Congresses ، Digital computer simulation,Distributed processing Congresses ، Electronic data processing,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
C65
W69
1994
376. 7th Workshop on Parallel and Distributed Simulation )PADS'93( : proceedings of the 1993 Workshop on Parallel and Distributed Simulation, May 16-19, 1993, San Diego, California
المؤلف: edited by Rajive Bagrodia and David Jefferson ; sponsored by Association of Computing Machinery--SIGSIM, the Society for Computer Simulation International, Institute of Electrical and Electronics Engineers, Computer Society
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Congresses ، Digital computer simulation,Distributed processing Congresses ، Electronic data processing,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
C65
W69
1993
377. 16th Workshop on Parallel and Distributed Simulation : proceedings : ]PADS 2002[ : 12-15 May, 2002, Washington, D.C.
المؤلف: Sponsored by IEEE Computer Society Technical Commitee on Simulation )TCSIM(, ACM Special Interest Group on Simulation ) SIGSIM(, Society for Computer Simulation )SCS(
المکتبة: (طهران)
موضوع: Congresses ، Digital computer simulation,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
C65P25
2002
